Skip to content

Pin the packages to the rc5 preview - #298

Draft
m-messer wants to merge 1 commit into
fix/tolerance-alignmentfrom
refactor/adopt-packages-rc4
Draft

m-messer wants to merge 1 commit into
fix/tolerance-alignmentfrom
refactor/adopt-packages-rc4

Conversation

@m-messer

@m-messer m-messer commented Oct 24, 2026 •

Copy link
Copy Markdown
Member

Stacked on #289. Hold: don't merge until the pin is moved to the v0.3.0-rc.5 tag.

Pins all four packages to ed05cfe on the rc5-preview (lambda-feedback/lambda-feedback-packages#15) branch of lambda-feedback-packages. That branch is v0.3.0-rc.4 (#280 is already on it: units was renamed physical_quantities) with these merged in:

The app ports of those PRs stack on this one, so they can be tested against the package code before rc5 is tagged.

Expected failures

  • test_radians_to_frequency: a known failure, which also fails on main.
  • The a!=b cases in test_exclamation_mark_for_factorial and test_double_exclamation_mark_for_factorial. != now parses as Ne(a, b), where it used to be read as factorial(a) = b, and check_equality raises TypeError when it subtracts an Unequality. The Support inequalities in the answer and response #276 port, stacked above this PR, fixes them; there's deliberately no stopgap here.

Before merging

  • Tag v0.3.0-rc.5 and pin to it, instead of the SHA.
  • Update the package version in README.md (which still says rc.2) and app/docs/dev.md (which says rc.4).

🤖 Generated with Claude Code

Pins all four packages to ed05cfe on lambda-feedback-packages' rc5-preview
branch (v0.3.0-rc.4 plus #11, #12 and #13), so the ports of #261, #273/#277,
tag before merging.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@m-messer
m-messer force-pushed the fix/tolerance-alignment branch from d92b951 to 19826d8 Compare October 28, 2026 17:48
@m-messer
m-messer force-pushed the refactor/adopt-packages-rc4 branch from fb895de to 3b9813f Compare October 28, 2026 17:48

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant